A simulator of real-time systems specified in et-lotos
Data(s) |
1998
|
---|---|
Resumo |
info:eu-repo/semantics/published |
Formato |
No full-text files |
Identificador |
local/VX-005275 http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/74350 |
Idioma(s) |
en |
Fonte |
In: Proceedings of Applied Telecommunication Symposium. Society for Computer Simulation International, San Diego |
Palavras-Chave | #Informatique mathématique |
Tipo |
info:eu-repo/semantics/conferencePaper info:ulb-repo/semantics/conferencePaper info:ulb-repo/semantics/openurl/proceeding |