Matches in SemOpenAlex for { <https://semopenalex.org/work/W78882874> ?p ?o ?g. }
- W78882874 endingPage "1205" @default.
- W78882874 startingPage "1186" @default.
- W78882874 abstract "The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described." @default.
- W78882874 created "2016-06-24" @default.
- W78882874 creator A5039105876 @default.
- W78882874 creator A5046524785 @default.
- W78882874 creator A5058462863 @default.
- W78882874 creator A5084773409 @default.
- W78882874 date "1999-01-01" @default.
- W78882874 modified "2023-10-15" @default.
- W78882874 title "The UniForM workbench a universal development environment for formal methods" @default.
- W78882874 cites W101296552 @default.
- W78882874 cites W123523327 @default.
- W78882874 cites W1482892048 @default.
- W78882874 cites W1485610452 @default.
- W78882874 cites W1495543680 @default.
- W78882874 cites W1499543924 @default.
- W78882874 cites W1512705448 @default.
- W78882874 cites W1515314368 @default.
- W78882874 cites W1519017097 @default.
- W78882874 cites W1522193254 @default.
- W78882874 cites W1523506890 @default.
- W78882874 cites W1527451030 @default.
- W78882874 cites W1530886921 @default.
- W78882874 cites W1534026310 @default.
- W78882874 cites W1541671050 @default.
- W78882874 cites W1550385910 @default.
- W78882874 cites W1554003903 @default.
- W78882874 cites W1563552005 @default.
- W78882874 cites W1588663335 @default.
- W78882874 cites W1877482483 @default.
- W78882874 cites W1919125229 @default.
- W78882874 cites W1937190529 @default.
- W78882874 cites W2140769622 @default.
- W78882874 cites W2166775836 @default.
- W78882874 cites W423830787 @default.
- W78882874 doi "https://doi.org/10.1007/3-540-48118-4_13" @default.
- W78882874 hasPublicationYear "1999" @default.
- W78882874 type Work @default.
- W78882874 sameAs 78882874 @default.
- W78882874 citedByCount "33" @default.
- W78882874 countsByYear W788828742012 @default.
- W78882874 countsByYear W788828742023 @default.
- W78882874 crossrefType "book-chapter" @default.
- W78882874 hasAuthorship W78882874A5039105876 @default.
- W78882874 hasAuthorship W78882874A5046524785 @default.
- W78882874 hasAuthorship W78882874A5058462863 @default.
- W78882874 hasAuthorship W78882874A5084773409 @default.
- W78882874 hasBestOaLocation W788828741 @default.
- W78882874 hasConcept C104317684 @default.
- W78882874 hasConcept C111498074 @default.
- W78882874 hasConcept C115903868 @default.
- W78882874 hasConcept C127413603 @default.
- W78882874 hasConcept C134306372 @default.
- W78882874 hasConcept C139968098 @default.
- W78882874 hasConcept C154945302 @default.
- W78882874 hasConcept C185592680 @default.
- W78882874 hasConcept C199360897 @default.
- W78882874 hasConcept C201995342 @default.
- W78882874 hasConcept C204241405 @default.
- W78882874 hasConcept C2776542497 @default.
- W78882874 hasConcept C2779145975 @default.
- W78882874 hasConcept C33923547 @default.
- W78882874 hasConcept C36464697 @default.
- W78882874 hasConcept C41008148 @default.
- W78882874 hasConcept C55493867 @default.
- W78882874 hasConcept C75606506 @default.
- W78882874 hasConceptScore W78882874C104317684 @default.
- W78882874 hasConceptScore W78882874C111498074 @default.
- W78882874 hasConceptScore W78882874C115903868 @default.
- W78882874 hasConceptScore W78882874C127413603 @default.
- W78882874 hasConceptScore W78882874C134306372 @default.
- W78882874 hasConceptScore W78882874C139968098 @default.
- W78882874 hasConceptScore W78882874C154945302 @default.
- W78882874 hasConceptScore W78882874C185592680 @default.
- W78882874 hasConceptScore W78882874C199360897 @default.
- W78882874 hasConceptScore W78882874C201995342 @default.
- W78882874 hasConceptScore W78882874C204241405 @default.
- W78882874 hasConceptScore W78882874C2776542497 @default.
- W78882874 hasConceptScore W78882874C2779145975 @default.
- W78882874 hasConceptScore W78882874C33923547 @default.
- W78882874 hasConceptScore W78882874C36464697 @default.
- W78882874 hasConceptScore W78882874C41008148 @default.
- W78882874 hasConceptScore W78882874C55493867 @default.
- W78882874 hasConceptScore W78882874C75606506 @default.
- W78882874 hasLocation W788828741 @default.
- W78882874 hasOpenAccess W78882874 @default.
- W78882874 hasPrimaryLocation W788828741 @default.
- W78882874 hasRelatedWork W1524361563 @default.
- W78882874 hasRelatedWork W2072697836 @default.
- W78882874 hasRelatedWork W2399398892 @default.
- W78882874 hasRelatedWork W2472196950 @default.
- W78882874 hasRelatedWork W2562928796 @default.
- W78882874 hasRelatedWork W2605218250 @default.
- W78882874 hasRelatedWork W29819831 @default.
- W78882874 hasRelatedWork W4245713008 @default.
- W78882874 hasRelatedWork W61995002 @default.
- W78882874 hasRelatedWork W78882874 @default.
- W78882874 isParatext "false" @default.
- W78882874 isRetracted "false" @default.