1. Home
  2. Medien
  3. Bücher
  4. Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
  • #
  • #

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

106.99 EUR

Teilen:
Gesponsert

Timed Boolean Functions

SpringerLink DE
106.99 EUR
22-04-2026 09:04:38

Ähnliche Produkte

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

106.99 EUR
Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems, 9, Band 9)

Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems, 9, Band 9)

197.54 EUR
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

53.49 EUR

Formal Modeling and Analysis of Timed Systems

53.49 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

160.49 EUR
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science, Band 3253)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science, Band 3253)

53.49 EUR
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

53.49 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

152.06 EUR