Matches in SemOpenAlex for { <https://semopenalex.org/work/W2612751497> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2612751497 endingPage "170" @default.
- W2612751497 startingPage "165" @default.
- W2612751497 abstract "Control systems are typically specified in two parts: continuous and discrete. The continuous part is described using control laws; the discrete part is described using statecharts. The models are usually analysed for properties such as stability, and executed (or simulated) to validate them. An overview of a programme known as Practical Formal Specification (PFS) is presented. PFS is intended to extend classical approaches to developing control systems using formal techniques. The paper gives an outline of the principles underlying PFS and describes the realisation of those principles in a formal analysis tool integrated with Simulink and Stateflow." @default.
- W2612751497 created "2017-05-19" @default.
- W2612751497 creator A5005419325 @default.
- W2612751497 creator A5025927902 @default.
- W2612751497 creator A5061141314 @default.
- W2612751497 creator A5069609879 @default.
- W2612751497 date "2004-04-01" @default.
- W2612751497 modified "2023-09-26" @default.
- W2612751497 title "Practical Formal Specification for Embedded Control Systems" @default.
- W2612751497 cites W2116170170 @default.
- W2612751497 doi "https://doi.org/10.1016/s1474-6670(17)36113-x" @default.
- W2612751497 hasPublicationYear "2004" @default.
- W2612751497 type Work @default.
- W2612751497 sameAs 2612751497 @default.
- W2612751497 citedByCount "5" @default.
- W2612751497 crossrefType "journal-article" @default.
- W2612751497 hasAuthorship W2612751497A5005419325 @default.
- W2612751497 hasAuthorship W2612751497A5025927902 @default.
- W2612751497 hasAuthorship W2612751497A5061141314 @default.
- W2612751497 hasAuthorship W2612751497A5069609879 @default.
- W2612751497 hasConcept C111498074 @default.
- W2612751497 hasConcept C115903868 @default.
- W2612751497 hasConcept C116253237 @default.
- W2612751497 hasConcept C119599485 @default.
- W2612751497 hasConcept C121332964 @default.
- W2612751497 hasConcept C127413603 @default.
- W2612751497 hasConcept C133731056 @default.
- W2612751497 hasConcept C154945302 @default.
- W2612751497 hasConcept C17500928 @default.
- W2612751497 hasConcept C199360897 @default.
- W2612751497 hasConcept C2775924081 @default.
- W2612751497 hasConcept C2779462738 @default.
- W2612751497 hasConcept C2779752788 @default.
- W2612751497 hasConcept C2780365114 @default.
- W2612751497 hasConcept C41008148 @default.
- W2612751497 hasConcept C62520636 @default.
- W2612751497 hasConcept C75606506 @default.
- W2612751497 hasConceptScore W2612751497C111498074 @default.
- W2612751497 hasConceptScore W2612751497C115903868 @default.
- W2612751497 hasConceptScore W2612751497C116253237 @default.
- W2612751497 hasConceptScore W2612751497C119599485 @default.
- W2612751497 hasConceptScore W2612751497C121332964 @default.
- W2612751497 hasConceptScore W2612751497C127413603 @default.
- W2612751497 hasConceptScore W2612751497C133731056 @default.
- W2612751497 hasConceptScore W2612751497C154945302 @default.
- W2612751497 hasConceptScore W2612751497C17500928 @default.
- W2612751497 hasConceptScore W2612751497C199360897 @default.
- W2612751497 hasConceptScore W2612751497C2775924081 @default.
- W2612751497 hasConceptScore W2612751497C2779462738 @default.
- W2612751497 hasConceptScore W2612751497C2779752788 @default.
- W2612751497 hasConceptScore W2612751497C2780365114 @default.
- W2612751497 hasConceptScore W2612751497C41008148 @default.
- W2612751497 hasConceptScore W2612751497C62520636 @default.
- W2612751497 hasConceptScore W2612751497C75606506 @default.
- W2612751497 hasIssue "4" @default.
- W2612751497 hasLocation W26127514971 @default.
- W2612751497 hasOpenAccess W2612751497 @default.
- W2612751497 hasPrimaryLocation W26127514971 @default.
- W2612751497 hasRelatedWork W1524361563 @default.
- W2612751497 hasRelatedWork W1536552036 @default.
- W2612751497 hasRelatedWork W1548276064 @default.
- W2612751497 hasRelatedWork W1583364777 @default.
- W2612751497 hasRelatedWork W2087097901 @default.
- W2612751497 hasRelatedWork W2156223462 @default.
- W2612751497 hasRelatedWork W2415894693 @default.
- W2612751497 hasRelatedWork W2612751497 @default.
- W2612751497 hasRelatedWork W2897842245 @default.
- W2612751497 hasRelatedWork W63592217 @default.
- W2612751497 hasVolume "37" @default.
- W2612751497 isParatext "false" @default.
- W2612751497 isRetracted "false" @default.
- W2612751497 magId "2612751497" @default.
- W2612751497 workType "article" @default.