Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488893396> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1488893396 endingPage "315" @default.
- W1488893396 startingPage "298" @default.
- W1488893396 abstract "This paper presents the modelisation of a special class of timed automata, named p-automata in the proof assistant Coq. This work was performed in the framework of the CALIFE project1 which aims to build a general platform for specification, validation and test of critical algorithms involved in telecommunications. This paper does not contain new theoretical results but explains how to combine and adapt known techniques in order to build an environment dedicated to a class of problems. It emphasizes the specific features of Coq which have been used, in particular dependent types and tactics based on computational reflection." @default.
- W1488893396 created "2016-06-24" @default.
- W1488893396 creator A5024401238 @default.
- W1488893396 date "2001-01-01" @default.
- W1488893396 modified "2023-10-14" @default.
- W1488893396 title "Modelisation of Timed Automata in Coq" @default.
- W1488893396 cites W1498912749 @default.
- W1488893396 cites W1523650067 @default.
- W1488893396 cites W1528052789 @default.
- W1488893396 cites W1529227536 @default.
- W1488893396 cites W1547243468 @default.
- W1488893396 cites W1563164353 @default.
- W1488893396 cites W1573737512 @default.
- W1488893396 cites W1659048632 @default.
- W1488893396 cites W1846929317 @default.
- W1488893396 cites W2022530540 @default.
- W1488893396 cites W2101508170 @default.
- W1488893396 cites W2136545402 @default.
- W1488893396 doi "https://doi.org/10.1007/3-540-45500-0_15" @default.
- W1488893396 hasPublicationYear "2001" @default.
- W1488893396 type Work @default.
- W1488893396 sameAs 1488893396 @default.
- W1488893396 citedByCount "11" @default.
- W1488893396 countsByYear W14888933962013 @default.
- W1488893396 countsByYear W14888933962016 @default.
- W1488893396 countsByYear W14888933962018 @default.
- W1488893396 countsByYear W14888933962019 @default.
- W1488893396 countsByYear W14888933962020 @default.
- W1488893396 crossrefType "book-chapter" @default.
- W1488893396 hasAuthorship W1488893396A5024401238 @default.
- W1488893396 hasConcept C112505250 @default.
- W1488893396 hasConcept C199360897 @default.
- W1488893396 hasConcept C41008148 @default.
- W1488893396 hasConcept C80444323 @default.
- W1488893396 hasConceptScore W1488893396C112505250 @default.
- W1488893396 hasConceptScore W1488893396C199360897 @default.
- W1488893396 hasConceptScore W1488893396C41008148 @default.
- W1488893396 hasConceptScore W1488893396C80444323 @default.
- W1488893396 hasLocation W14888933961 @default.
- W1488893396 hasOpenAccess W1488893396 @default.
- W1488893396 hasPrimaryLocation W14888933961 @default.
- W1488893396 hasRelatedWork W1527862632 @default.
- W1488893396 hasRelatedWork W2109507516 @default.
- W1488893396 hasRelatedWork W2112962394 @default.
- W1488893396 hasRelatedWork W2118300983 @default.
- W1488893396 hasRelatedWork W2135396778 @default.
- W1488893396 hasRelatedWork W2740990710 @default.
- W1488893396 hasRelatedWork W3137189469 @default.
- W1488893396 hasRelatedWork W4235530921 @default.
- W1488893396 hasRelatedWork W4243252198 @default.
- W1488893396 hasRelatedWork W2462343658 @default.
- W1488893396 isParatext "false" @default.
- W1488893396 isRetracted "false" @default.
- W1488893396 magId "1488893396" @default.
- W1488893396 workType "book-chapter" @default.