Scenario-based verification of real-time systems using UPPAAL (Q633291): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-010-0103-z / rank
Normal rank
 
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real-time system = discrete system + clock variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods for the Design of Real-Time Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The computational complexity of scenario-based agent verification and design / rank
 
Normal rank
Property / cites work
 
Property / cites work: LSCs: Breathing life into message sequence charts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification of a radio-based signaling system using the STATEMATE verification environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Expressive Power of Live Sequence Charts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4427918 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Schedulability of asynchronous real-time concurrent objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5481211 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2769611 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Check It Out: On the Efficient Formal Verification of Live Sequence Charts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Scenario-based verification of real-time systems using UPPAAL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4435875 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kronos: A verification tool for real-time systems / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-010-0103-Z / rank
 
Normal rank

Latest revision as of 23:10, 9 December 2024

scientific article
Language Label Description Also known as
English
Scenario-based verification of real-time systems using UPPAAL
scientific article

    Statements

    Scenario-based verification of real-time systems using UPPAAL (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    31 March 2011
    0 references
    real-time system
    0 references
    modeling
    0 references
    timed automata
    0 references
    scenario
    0 references
    live sequence chart
    0 references
    verification
    0 references
    0 references
    0 references

    Identifiers