Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. (Q2492159)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. |
scientific article |
Statements
Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. (English)
0 references
7 June 2006
0 references
0.8491047
0 references
0.84310925
0 references
0.8429197
0 references
0.8387453
0 references
0.8356296
0 references
0.8351859
0 references
0.8344171
0 references
0.8290261
0 references
0.8257259
0 references
