Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
| Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] |
| Descrizione fisica | 1 online resource (294 p.) |
| Disciplina |
004.21
620.86028551 |
| Altri autori (Persone) |
GnesiStefania <1954->
Margaria-SteffenTiziana <1964-> |
| Soggetto topico |
Formal methods (Computer science)
System design |
| ISBN |
1-118-45989-X
1-283-85888-6 1-118-45986-5 |
| Classificazione | COM059000 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269. |
| Record Nr. | UNINA-9910830558103321 |
| Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
| Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN |
1-282-33177-9
9786612331770 3-642-03240-0 |
| Classificazione |
DAT 260f
DAT 343f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. |
| Record Nr. | UNINA-9910484726903321 |
| Berlin ; ; Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
| Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN |
1-282-33177-9
9786612331770 3-642-03240-0 |
| Classificazione |
DAT 260f
DAT 343f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. |
| Record Nr. | UNISA-996465614203316 |
| Berlin ; ; Heidelberg : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors)
| Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 254 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programs - Verification
Software engineering Formal methods (Computer science) |
| ISBN | 3-540-79707-6 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. |
| Record Nr. | UNINA-9910484817003321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors)
| Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / / Stefan Leue, Pedro Merino (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 254 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programs - Verification
Software engineering Formal methods (Computer science) |
| ISBN | 3-540-79707-6 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions. |
| Record Nr. | UNISA-996465326103316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNINA-9910143646603321 |
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNISA-996465309103316 |
|
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors
| Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XXXII, 313 p. 193 illus., 159 illus. in color.) |
| Disciplina | 720.285 |
| Collana | Advances in science, technology & innovation |
| Soggetto topico |
Architecture - Data processing
City planning - Data processing Regional planning - Data processing Formal methods (Computer science) |
| ISBN | 3-030-57509-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Ethics of our Work -- From Datascape to Formal Methods -- Variational Beauty of Space. Machine Intuition and Urban Networks -- Global and Disciplinary Frameworks for Formal Methods in Architecture -- Mathematically Developing Building Facades: an Algorithmic Framework -- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer) -- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design -- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking -- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations -- Digital Doxiadis: Parametric Thinking for Human Settlements -- L’Objet Invalide. |
| Record Nr. | UNINA-9910484149903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods in architecture and urbanism / / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
| Formal methods in architecture and urbanism / / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz |
| Pubbl/distr/stampa | Newcastle upon Tyne, UK : , : Cambridge Scholars Publishing, , 2018 |
| Descrizione fisica | 1 online resource (405 pages) |
| Disciplina | 720.28402855369 |
| Soggetto topico |
Architecture - Data processing
Formal methods (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-5275-1457-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480934903321 |
| Newcastle upon Tyne, UK : , : Cambridge Scholars Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods in architecture and urbanism / / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
| Formal methods in architecture and urbanism / / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz |
| Pubbl/distr/stampa | Newcastle upon Tyne, UK : , : Cambridge Scholars Publishing, , 2018 |
| Descrizione fisica | 1 online resource (405 pages) |
| Disciplina | 720.28402855369 |
| Soggetto topico |
Architecture - Data processing
Formal methods (Computer science) |
| ISBN | 1-5275-1457-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793183903321 |
| Newcastle upon Tyne, UK : , : Cambridge Scholars Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
