LEADER 05317nam 22007695 450 001 996465399203316 005 20200630002233.0 010 $a3-540-30080-5 024 7 $a10.1007/b110123 035 $a(CKB)1000000000212528 035 $a(DE-He213)978-3-540-30080-9 035 $a(SSID)ssj0000157234 035 $a(PQKBManifestationID)11167580 035 $a(PQKBTitleCode)TC0000157234 035 $a(PQKBWorkID)10131443 035 $a(PQKB)11570169 035 $a(MiAaPQ)EBC3087365 035 $a(PPN)155214322 035 $a(EXLCZ)991000000000212528 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods for the Design of Real-Time Systems$b[electronic resource] $eInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /$fedited by Marco Bernardo, Flavio Corradini 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VII, 297 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3185 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23068-8 327 $aModels and Languages -- Decision Problems for Timed Automata: A Survey -- Timed Petri Nets: Efficiency of Asynchronous Systems -- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) -- Expressiveness of Timed Events and Timed Languages -- Real Time and Stochastic Time -- On the Semantic Foundations of Standard UML 2.0 -- Tools and Applications -- A Tutorial on Uppaal -- The IF Toolset -- Embedded Software Analysis with MOTOR. 330 $aA large class of computing systems can be specified and verified by abstracting away from the temporal aspects of their behavior. In real-time systems,instead, time issues become essential. Their correctness depends not only on which functions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the attention of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). The school addressed the use of formal methods in computer science as a prominent approach to the r- orous design of computer, communication and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the field. SFM-04:RT was devoted to real-time systems. It covered formal models and languages for the specification,modeling,analysis,and verification of the seti- critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3185 606 $aComputers 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSpecial purpose computers 606 $aComputer communication systems 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aSpecial purpose computers. 615 0$aComputer communication systems. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 676 $a005.1 702 $aBernardo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCorradini$b Flavio$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems 906 $aBOOK 912 $a996465399203316 996 $aFormal Methods for the Design of Real-Time Systems$92179794 997 $aUNISA