01132cam0 2200289 450 E60020006429220211020093628.020100601d1970 |||||ita|0103 bagerDELeben, Natur und Grundsätzezur Belehrung und Ermunterung seiner lieben Nachkommen, auch Anderer die Nutzbares daraus aufzunehmen geneigt sindJ. G. H. FederImpression anastaltiqueBruxellesCulture et Civilisation1970XVI, 466 p.19 cmAetas kantiana69Ripr. facs. dell'ed. : Leipzig, Hannover, Darmstadt, 1825001LAEC000284802001 *Aetas kantiana69Feder, Johann Georg HeinrichA600200061400070402212ITUNISOB20211020RICAUNISOBUNISOB100|Coll|19|K18405E600200064292M 102 Monografia moderna SBNM100|Coll|19|K000069Si18405acquistocutoloUNISOBUNISOB20100601113414.020211020093615.0AlfanoLeben, Natur und Grundsatze872500UNISOB05623nam 22007575 450 99646615180331620200629174840.03-540-49792-710.1007/BFb0055330(CKB)1000000000210986(SSID)ssj0000323244(PQKBManifestationID)11250807(PQKBTitleCode)TC0000323244(PQKBWorkID)10296781(PQKB)11149751(DE-He213)978-3-540-49792-9(PPN)155209019(EXLCZ)99100000000021098620121227d1998 u| 0engurnn|008mamaatxtccrFormal Techniques in Real-Time and Fault-Tolerant Systems[electronic resource] 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /edited by Anders P. Ravn, Hans Rischel1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (IX, 347 p.) Lecture Notes in Computer Science,0302-9743 ;1486Bibliographic Level Mode of Issuance: Monograph3-540-65003-2 Challenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a ‘lean’ formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC — Graphical development of PLC-automata -- Predictability in critical systems.This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.Lecture Notes in Computer Science,0302-9743 ;1486Programming languages (Electronic computers)Architecture, ComputerComputersComputer logicMicroprocessorsSpecial purpose computersProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProcessor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Programming languages (Electronic computers).Architecture, Computer.Computers.Computer logic.Microprocessors.Special purpose computers.Programming Languages, Compilers, Interpreters.Computer System Implementation.Theory of Computation.Logics and Meanings of Programs.Processor Architectures.Special Purpose and Application-Based Systems.004/.33Ravn Anders Pedthttp://id.loc.gov/vocabulary/relators/edtRischel Hansedthttp://id.loc.gov/vocabulary/relators/edtFTRTFT '98BOOK996466151803316Formal Techniques in Real-Time and Fault-Tolerant Systems1944996UNISA