If you made any changes in Pure, your changes will be visible here soon.

Research Output 1997 2019

Filter
Paper
2011

Towards semantics-based WCET analysis

Asǎvoae, M., Lucanu, D. & Roşu, G., Jan 1 2011, p. 43-52. 10 p.

Research output: Contribution to conferencePaper

Semantics
Reduced instruction set computing
1997

Distributed cooperative formal methods tools

Goguen, J., Lin, K., Mori, A., Rosu, G. & Sato, A., Dec 1 1997, p. 55-62. 8 p.

Research output: Contribution to conferencePaper

Formal methods
Semiotics
Servers
Specifications
Network protocols