top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Communicating systems with UML 2 [[electronic resource] ] : modeling and analysis of network protocols / / David Garduno Barrera, Michel Diaz
Communicating systems with UML 2 [[electronic resource] ] : modeling and analysis of network protocols / / David Garduno Barrera, Michel Diaz
Autore Garduno Barrera David
Edizione [1st edition]
Pubbl/distr/stampa London, : ISTE
Descrizione fisica 1 online resource (276 p.)
Disciplina 004.6
Altri autori (Persone) DiazMichel <1945->
Collana ISTE
Soggetto topico Computer network protocols
Telecommunication systems
UML (Computer science)
ISBN 1-118-60220-X
1-118-60217-X
1-118-60211-0
1-299-18774-9
Classificazione TEC041000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Why Use UML to Model Network Protocols?; 1.1. Modeling network protocols; 1.1.1. The complexity of communication protocols; 1.1.2. Traditional modeling; 1.1.2.1. Basic models and formal description techniques; 1.1.2.2. Automata and state machine models; 1.1.2.3. Petri Net models; 1.1.2.4. Formal and semi-formal languages; 1.1.2.5. Towards a new modeling language; 1.1.3. Traditional validation; 1.1.4. Need for a unified language for description, validation and simulation; 1.2. UML as a common language; 1.2.1. Overview
1.2.2. The beginning1.2.3. Brief review; 1.2.3.1. Class diagram; 1.2.3.2. Package diagram; 1.2.3.3. Object diagram; 1.2.3.4. Component diagram; 1.2.3.5. Composite structure diagram; 1.2.3.6. Deployment diagram; 1.2.3.7. Sequence diagram; 1.2.3.8. Profile diagram; 1.2.3.9. Activity diagram; 1.2.3.10. Communication diagram; 1.2.3.11. Interaction overview diagram; 1.2.3.12. Timing diagram; 1.2.3.13. Use case diagram; 1.2.3.14. State machine diagram; 1.2.4. UML for network protocols; 1.2.5. Some general UML tools; 1.3. Chapter summary; 1.4. Bibliography; Chapter 2. Simple Transmission
2.1. Introduction2.2. Echo; 2.2.1. Requirement specification; 2.2.2. Analysis; 2.2.2.1. Sequence diagram; 2.2.2.2. Concerned classes; 2.2.2.3. Signals list definition; 2.2.3. Architecture design; 2.2.4. Detailed design: class behavior; 2.2.4.1. Client class; 2.2.4.2. Server class; 2.2.5. Echo: validation and simulation; 2.2.5.1. Simulating the model; 2.2.5.2. Model validation; 2.3. Unidirectional: simple data sending; 2.3.1. Requirement specification; 2.3.2. Analysis; 2.3.2.1. Sequence diagram; 2.3.2.2. Signals list definition; 2.3.3. Architecture design; 2.3.4. Detailed design
2.3.4.1. First variation: protocol notation (transition oriented)2.3.4.2. Second variation: behavior notation (state oriented); 2.3.5. Validation and simulation; 2.3.5.1. Simulating the model; 2.3.5.2. Model validation; 2.4. Full duplex: simple data sending; 2.4.1. Specification; 2.4.2. Analysis; 2.4.2.1. Sequence diagram; 2.4.2.2. Concerned classes; 2.4.3. Architecture design; 2.4.4. Validation and simulation; 2.4.4.1. Simulating the model; 2.4.4.2. Model validation; 2.4.5. Different ways of doing the same thing; 2.4.5.1. A single machine; 2.4.5.2. Interruption
2.4.5.3. Composite states with concurrent regions2.4.5.4. Parallel threads; 2.5. Chapter summary; 2.6. Bibliography; Chapter 3. Simple Chat Application; 3.1. Introduction; 3.2. Requirements; 3.3. Analysis; 3.3.1. Sequence diagrams; 3.3.1.1. Splitting the system up; 3.3.1.2. Open session; 3.3.1.3. Timeout; 3.3.1.4. Refuse; 3.3.1.5. Accept; 3.3.1.6. Close; 3.3.1.7. Send data; 3.3.2. Concerned classes; 3.3.3. Signal list definition; 3.4. Architecture design; 3.5. Detailed design; 3.5.1. Open session; 3.5.2. Timeout; 3.5.3. Refusing the session; 3.5.4. Accepting session; 3.5.5. Closing session
3.5.6. Sending data
Record Nr. UNINA-9910138863803321
Garduno Barrera David  
London, : ISTE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Communicating systems with UML 2 [[electronic resource] ] : modeling and analysis of network protocols / / David Garduno Barrera, Michel Diaz
Communicating systems with UML 2 [[electronic resource] ] : modeling and analysis of network protocols / / David Garduno Barrera, Michel Diaz
Autore Garduno Barrera David
Edizione [1st edition]
Pubbl/distr/stampa London, : ISTE
Descrizione fisica 1 online resource (276 p.)
Disciplina 004.6
Altri autori (Persone) DiazMichel <1945->
Collana ISTE
Soggetto topico Computer network protocols
Telecommunication systems
UML (Computer science)
ISBN 1-118-60220-X
1-118-60217-X
1-118-60211-0
1-299-18774-9
Classificazione TEC041000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Why Use UML to Model Network Protocols?; 1.1. Modeling network protocols; 1.1.1. The complexity of communication protocols; 1.1.2. Traditional modeling; 1.1.2.1. Basic models and formal description techniques; 1.1.2.2. Automata and state machine models; 1.1.2.3. Petri Net models; 1.1.2.4. Formal and semi-formal languages; 1.1.2.5. Towards a new modeling language; 1.1.3. Traditional validation; 1.1.4. Need for a unified language for description, validation and simulation; 1.2. UML as a common language; 1.2.1. Overview
1.2.2. The beginning1.2.3. Brief review; 1.2.3.1. Class diagram; 1.2.3.2. Package diagram; 1.2.3.3. Object diagram; 1.2.3.4. Component diagram; 1.2.3.5. Composite structure diagram; 1.2.3.6. Deployment diagram; 1.2.3.7. Sequence diagram; 1.2.3.8. Profile diagram; 1.2.3.9. Activity diagram; 1.2.3.10. Communication diagram; 1.2.3.11. Interaction overview diagram; 1.2.3.12. Timing diagram; 1.2.3.13. Use case diagram; 1.2.3.14. State machine diagram; 1.2.4. UML for network protocols; 1.2.5. Some general UML tools; 1.3. Chapter summary; 1.4. Bibliography; Chapter 2. Simple Transmission
2.1. Introduction2.2. Echo; 2.2.1. Requirement specification; 2.2.2. Analysis; 2.2.2.1. Sequence diagram; 2.2.2.2. Concerned classes; 2.2.2.3. Signals list definition; 2.2.3. Architecture design; 2.2.4. Detailed design: class behavior; 2.2.4.1. Client class; 2.2.4.2. Server class; 2.2.5. Echo: validation and simulation; 2.2.5.1. Simulating the model; 2.2.5.2. Model validation; 2.3. Unidirectional: simple data sending; 2.3.1. Requirement specification; 2.3.2. Analysis; 2.3.2.1. Sequence diagram; 2.3.2.2. Signals list definition; 2.3.3. Architecture design; 2.3.4. Detailed design
2.3.4.1. First variation: protocol notation (transition oriented)2.3.4.2. Second variation: behavior notation (state oriented); 2.3.5. Validation and simulation; 2.3.5.1. Simulating the model; 2.3.5.2. Model validation; 2.4. Full duplex: simple data sending; 2.4.1. Specification; 2.4.2. Analysis; 2.4.2.1. Sequence diagram; 2.4.2.2. Concerned classes; 2.4.3. Architecture design; 2.4.4. Validation and simulation; 2.4.4.1. Simulating the model; 2.4.4.2. Model validation; 2.4.5. Different ways of doing the same thing; 2.4.5.1. A single machine; 2.4.5.2. Interruption
2.4.5.3. Composite states with concurrent regions2.4.5.4. Parallel threads; 2.5. Chapter summary; 2.6. Bibliography; Chapter 3. Simple Chat Application; 3.1. Introduction; 3.2. Requirements; 3.3. Analysis; 3.3.1. Sequence diagrams; 3.3.1.1. Splitting the system up; 3.3.1.2. Open session; 3.3.1.3. Timeout; 3.3.1.4. Refuse; 3.3.1.5. Accept; 3.3.1.6. Close; 3.3.1.7. Send data; 3.3.2. Concerned classes; 3.3.3. Signal list definition; 3.4. Architecture design; 3.5. Detailed design; 3.5.1. Open session; 3.5.2. Timeout; 3.5.3. Refusing the session; 3.5.4. Accepting session; 3.5.5. Closing session
3.5.6. Sending data
Record Nr. UNINA-9910808679603321
Garduno Barrera David  
London, : ISTE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings / / Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings / / Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer, , [1999]
Descrizione fisica 1 online resource (385 p.)
Disciplina 006.7
Collana Lecture Notes in Computer Science
Soggetto topico Telecommunication systems
Interactive multimedia
ISBN 1-280-95678-X
9786610956784
3-540-48109-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- The Internet 2 QBONE Project Architecture and Phase 1 Implementation -- Network QoS -- Hardware Acceleration inside a Differentiated Services Access Node -- REDO RSVP: Efficient Signalling for Multimedia in the Internet -- QoS-aware Active Gateway for Multimedia Communication -- Application QoS -- A Study of the Impact of Network Loss and Burst Size on Video Streaming Quality and Acceptability -- Transport of MPEG-2 Video in a Routed IP Network -- Specification and Realization of the QoS Required by a Distributed Interactive Simulation Application in a New Generation Internet -- Mbone and Multicast -- A Multicasting Scheme Using Multiple MCSs in ATM Networks -- A Platform for the Study of Reliable Multicasting Extensions to CORBA Event Service -- MBone2Tel — Telephone Users Meeting the MBone -- Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF -- Invited Paper -- IP Services Deployment: A US Carrier Strategy -- Adaptive Applications and Networks -- Network-Diffused Media Scaling for Multimedia Content Services -- Extended Package-Segment Model and Adaptable Applications -- Tailoring Protocols for Dynamic Network Conditions and User Requirements -- Design of an Integrated Environment for Adaptive Multimedia Document Presentation Through Real Time Monitoring -- New Trends in IDMS -- Authoring of Teletext Applications for Digital Television Broadcast -- Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study -- The “Virtual Interactive Presenter”: A Conversational Interface for Interactive Television -- Advances in Coding -- A Video Compression Algorithm for ATM Networks with ABR Service, Using Visual Criteria -- Content-Fragile Watermarking Based on Content-Based Digital Signatures -- Invited Paper -- New Structures for the Next Generation of IDMS -- Conferencing -- Multi-drop VPs for Multiparty Videoconferencing on SONET/ATM Rings -- Architectural Design and Bandwidth Demand Analysis -- A Generic Scheme for the Recording of Interactive Media Streams -- A Framework for High Quality/Low Cost Conferencing Systems -- Video Servers -- A Novel Replica Placement Strategy for Video Servers -- Network Bandwidth Allocation and Admission Control for a Continuous Media File Server -- Design and Evaluation of Ring-Based Video Servers -- Position Papers -- Pricing for Differentiated Internet Services -- An Agent-Based Adaptive QoS Management Framework and Its Applications -- Improving the Quality of Recorded Mbone Sessions Using a Distributed Model.
Record Nr. UNINA-9910144130603321
Berlin, Germany ; ; New York, New York : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings / / Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings / / Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
Edizione [1st ed. 1999.]
Pubbl/distr/stampa Berlin, Germany ; ; New York, New York : , : Springer, , [1999]
Descrizione fisica 1 online resource (385 p.)
Disciplina 006.7
Collana Lecture Notes in Computer Science
Soggetto topico Telecommunication systems
Interactive multimedia
ISBN 1-280-95678-X
9786610956784
3-540-48109-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper -- The Internet 2 QBONE Project Architecture and Phase 1 Implementation -- Network QoS -- Hardware Acceleration inside a Differentiated Services Access Node -- REDO RSVP: Efficient Signalling for Multimedia in the Internet -- QoS-aware Active Gateway for Multimedia Communication -- Application QoS -- A Study of the Impact of Network Loss and Burst Size on Video Streaming Quality and Acceptability -- Transport of MPEG-2 Video in a Routed IP Network -- Specification and Realization of the QoS Required by a Distributed Interactive Simulation Application in a New Generation Internet -- Mbone and Multicast -- A Multicasting Scheme Using Multiple MCSs in ATM Networks -- A Platform for the Study of Reliable Multicasting Extensions to CORBA Event Service -- MBone2Tel — Telephone Users Meeting the MBone -- Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF -- Invited Paper -- IP Services Deployment: A US Carrier Strategy -- Adaptive Applications and Networks -- Network-Diffused Media Scaling for Multimedia Content Services -- Extended Package-Segment Model and Adaptable Applications -- Tailoring Protocols for Dynamic Network Conditions and User Requirements -- Design of an Integrated Environment for Adaptive Multimedia Document Presentation Through Real Time Monitoring -- New Trends in IDMS -- Authoring of Teletext Applications for Digital Television Broadcast -- Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study -- The “Virtual Interactive Presenter”: A Conversational Interface for Interactive Television -- Advances in Coding -- A Video Compression Algorithm for ATM Networks with ABR Service, Using Visual Criteria -- Content-Fragile Watermarking Based on Content-Based Digital Signatures -- Invited Paper -- New Structures for the Next Generation of IDMS -- Conferencing -- Multi-drop VPs for Multiparty Videoconferencing on SONET/ATM Rings -- Architectural Design and Bandwidth Demand Analysis -- A Generic Scheme for the Recording of Interactive Media Streams -- A Framework for High Quality/Low Cost Conferencing Systems -- Video Servers -- A Novel Replica Placement Strategy for Video Servers -- Network Bandwidth Allocation and Admission Control for a Continuous Media File Server -- Design and Evaluation of Ring-Based Video Servers -- Position Papers -- Pricing for Differentiated Internet Services -- An Agent-Based Adaptive QoS Management Framework and Its Applications -- Improving the Quality of Recorded Mbone Sessions Using a Distributed Model.
Record Nr. UNISA-996465822503316
Berlin, Germany ; ; New York, New York : , : Springer, , [1999]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Petri nets [[electronic resource] ] : fundamental models, verification and applications / / edited by Michel Diaz
Petri nets [[electronic resource] ] : fundamental models, verification and applications / / edited by Michel Diaz
Pubbl/distr/stampa London, : ISTE
Descrizione fisica 1 online resource (613 p.)
Disciplina 511.3/5
Altri autori (Persone) DiazMichel <1945->
Collana ISTE
Soggetto topico Electronic data processing - Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
ISBN 1-282-68879-0
9786612688799
0-470-61164-2
0-470-39430-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Petri Nets: Fundamental Models, Verification and Applications; Table of Contents; Preface; Introduction; Part 1. Fundamental Models; Chapter 1. Basic Semantics; 1.1. Automata or state machines; 1.1.1. Automata and state machine models; 1.1.2. Tasks and processes; 1.1.3. Some models; 1.2. State machines and Petri nets (PN); 1.2.1. Composing state machines; 1.2.2. Composition and synchronization; 1.3. Concepts and definitions; 1.3.1. Local states and enabling; 1.3.2. Definition of the semantics of parallelism; 1.3.3. Firing transitions; 1.4. Accessibility graph or marking graph
1.5. Some basic models1.5.1. Co-begin (parallel start) and co-end (synchronized termination); 1.5.2. Synchronization by a signal; 1.5.3. Mutual exclusion; 1.5.4. The reader and writer mechanisms; 1.5.5. Bounded buffers; 1.6. Conclusion; 1.7. Bibliography; Chapter 2. Application of Petri Nets to Communication Protocols; 2.1. Basic models; 2.2. A simple establishment of a connection; 2.2.1. Different global semantics; 2.2.2. Conclusion; 2.3. The alternating bit protocol (ABP): model and verification; 2.3.1. Loss of messages; 2.3.2. Modeling losses; 2.4. Communicating state machines and PNs
2.5. Conclusion2.6. Bibliography; Chapter 3. Analysis Methods for Petri; 3.1. Introduction; 3.2. Behavioral analysis of Petri nets; 3.2.1. Semantics of a net; 3.2.2. Usual properties; 3.3. Analysis of nets by linear invariants; 3.3.1. Definitions and first applications; 3.3.2. Flow computations; 3.3.3. Semiflow computation; 3.3.4. Application of invariants to the analysis of a net; 3.4. Net reductions; 3.4.1. Pre-agglomeration of transitions; 3.4.2. Post-agglomeration of transitions; 3.4.3. Deletion of redundant places; 3.5.The graph of a Petri net; 3.5.1. General results
3.5.2. State machines3.5.3. Event graph; 3.5.4. Free choice net; 3.6. Bibliography; Chapter 4. Decidability and Complexity of Petri Net Problems; 4.1. Introduction; 4.2. Decidability and complexity notions; 4.3. Theoretical results about the reachability graph; 4.4. Analysis of unbounded Petri nets; 4.4.1. Construction of the covering graph; 4.4.2. Shortest sequences; 4.4.3. Backward analysis; 4.5. The reachability problem; 4.5.1. A necessary condition for reachability; 4.5.2. A sufficient condition for reachability; 4.6. Extensions of Petri nets; 4.6.1. Netswith inhibitor arcs
4.6.2. Self-modifying nets4.6.3. Recursive nets; 4.7. Languages of Petri nets; 4.8. Bibliography; Chapter 5. Time Petri Nets; 5.1. Introduction; 5.2. Time Petri nets; 5.2.1. Time nets; 5.2.2. States and firing rule; 5.2.3. Set of states, schedules; 5.2.4. Firing domains; 5.3. Behavior characterization - state state classes' method; 5.3.1. State classes; 5.3.2. Transitions between state classes; 5.3.3. State class equality; 5.3.4. Class graph; 5.3.5. Marking graph and class graph; 5.4. Analysis - operating the state class graph; 5.4.1. Analyzing behavior of time-dependent systems
5.4.2. Marking reachability
Record Nr. UNINA-9910139510803321
London, : ISTE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Petri nets [[electronic resource] ] : fundamental models, verification and applications / / edited by Michel Diaz
Petri nets [[electronic resource] ] : fundamental models, verification and applications / / edited by Michel Diaz
Pubbl/distr/stampa London, : ISTE
Descrizione fisica 1 online resource (613 p.)
Disciplina 511.3/5
Altri autori (Persone) DiazMichel <1945->
Collana ISTE
Soggetto topico Electronic data processing - Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
ISBN 1-282-68879-0
9786612688799
0-470-61164-2
0-470-39430-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Petri Nets: Fundamental Models, Verification and Applications; Table of Contents; Preface; Introduction; Part 1. Fundamental Models; Chapter 1. Basic Semantics; 1.1. Automata or state machines; 1.1.1. Automata and state machine models; 1.1.2. Tasks and processes; 1.1.3. Some models; 1.2. State machines and Petri nets (PN); 1.2.1. Composing state machines; 1.2.2. Composition and synchronization; 1.3. Concepts and definitions; 1.3.1. Local states and enabling; 1.3.2. Definition of the semantics of parallelism; 1.3.3. Firing transitions; 1.4. Accessibility graph or marking graph
1.5. Some basic models1.5.1. Co-begin (parallel start) and co-end (synchronized termination); 1.5.2. Synchronization by a signal; 1.5.3. Mutual exclusion; 1.5.4. The reader and writer mechanisms; 1.5.5. Bounded buffers; 1.6. Conclusion; 1.7. Bibliography; Chapter 2. Application of Petri Nets to Communication Protocols; 2.1. Basic models; 2.2. A simple establishment of a connection; 2.2.1. Different global semantics; 2.2.2. Conclusion; 2.3. The alternating bit protocol (ABP): model and verification; 2.3.1. Loss of messages; 2.3.2. Modeling losses; 2.4. Communicating state machines and PNs
2.5. Conclusion2.6. Bibliography; Chapter 3. Analysis Methods for Petri; 3.1. Introduction; 3.2. Behavioral analysis of Petri nets; 3.2.1. Semantics of a net; 3.2.2. Usual properties; 3.3. Analysis of nets by linear invariants; 3.3.1. Definitions and first applications; 3.3.2. Flow computations; 3.3.3. Semiflow computation; 3.3.4. Application of invariants to the analysis of a net; 3.4. Net reductions; 3.4.1. Pre-agglomeration of transitions; 3.4.2. Post-agglomeration of transitions; 3.4.3. Deletion of redundant places; 3.5.The graph of a Petri net; 3.5.1. General results
3.5.2. State machines3.5.3. Event graph; 3.5.4. Free choice net; 3.6. Bibliography; Chapter 4. Decidability and Complexity of Petri Net Problems; 4.1. Introduction; 4.2. Decidability and complexity notions; 4.3. Theoretical results about the reachability graph; 4.4. Analysis of unbounded Petri nets; 4.4.1. Construction of the covering graph; 4.4.2. Shortest sequences; 4.4.3. Backward analysis; 4.5. The reachability problem; 4.5.1. A necessary condition for reachability; 4.5.2. A sufficient condition for reachability; 4.6. Extensions of Petri nets; 4.6.1. Netswith inhibitor arcs
4.6.2. Self-modifying nets4.6.3. Recursive nets; 4.7. Languages of Petri nets; 4.8. Bibliography; Chapter 5. Time Petri Nets; 5.1. Introduction; 5.2. Time Petri nets; 5.2.1. Time nets; 5.2.2. States and firing rule; 5.2.3. Set of states, schedules; 5.2.4. Firing domains; 5.3. Behavior characterization - state state classes' method; 5.3.1. State classes; 5.3.2. Transitions between state classes; 5.3.3. State class equality; 5.3.4. Class graph; 5.3.5. Marking graph and class graph; 5.4. Analysis - operating the state class graph; 5.4.1. Analyzing behavior of time-dependent systems
5.4.2. Marking reachability
Record Nr. UNINA-9910810879303321
London, : ISTE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui