000185041 001__ 185041
000185041 005__ 20180913061816.0
000185041 022__ $$a03029743
000185041 037__ $$aCONF
000185041 245__ $$aAn approach to modelling and verification of component based systems
000185041 269__ $$a2007
000185041 260__ $$c2007
000185041 336__ $$aConference Papers
000185041 520__ $$aWe build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time. © Springer-Verlag Berlin Heidelberg 2007.
000185041 6531_ $$aMathematical models
000185041 6531_ $$aNumerical methods
000185041 700__ $$aGossler, Gregor
000185041 700__ $$aGraf, Sussane
000185041 700__ $$aMajster-Cederbaum, Mila
000185041 700__ $$aMartens, M.
000185041 700__ $$0246058$$aSifakis, Joseph$$g220186
000185041 7112_ $$aLecture Notes in Computer Science (including subseries Lecture Notes 	in Artificial Intelligence and Lecture Notes in Bioinformatics)$$cHarrachov, Czech republic
000185041 773__ $$j4362 LNCS$$q295 - 308$$tLecture Notes in Computer Science (including subseries Lecture Notes 	in Artificial Intelligence and Lecture Notes in Bioinformatics)
000185041 8564_ $$s377865$$uhttps://infoscience.epfl.ch/record/185041/files/Sofsem07.pdf$$yn/a$$zn/a
000185041 909C0 $$0252413$$pRISD$$xU12523
000185041 909CO $$ooai:infoscience.tind.io:185041$$pconf$$pIC
000185041 937__ $$aEPFL-CONF-185041
000185041 970__ $$a20080411044050/RISD
000185041 973__ $$aOTHER$$rREVIEWED$$sPUBLISHED
000185041 980__ $$aCONF