Reference : Model checking temporal metric specification with Trio2Promela
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/8473
Model checking temporal metric specification with Trio2Promela
English
Bianculli, Domenico mailto [Università della Svizzera italiana]
Spoletini, Paola [> >]
Morzenti, Angelo [> >]
Pradella, Matteo [> >]
San Pietro, Pierluigi []
2007
Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran
Springer
Lecture Notes in Computer Science
388-395
Yes
No
International
International Symposium on Fundamentals of Software Engineering (FSEN 2007)
April 2007
http://hdl.handle.net/10993/8473
10.1007/978-3-540-75698-9_26

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
bsmps-fsen07.pdfAuthor postprint133.81 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.