Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 7 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 3 Treffer
- collaborative editors 3 Treffer
-
11 weitere Werte:
- operational transformation 3 Treffer
- symbolic model checking 3 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 2 Treffer
- coq 2 Treffer
- data representation 2 Treffer
- dependent types 2 Treffer
- difference bound matrices 2 Treffer
- formal proofs 2 Treffer
- random generation 2 Treffer
- isomorphisms 1 Treffer
- lambda terms 1 Treffer
Verlag
Publikation
- tests and proofs ; https://inria.hal.science/hal-01108553 ; tests and proofs, jul 2014, york, united kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩ 2 Treffer
- types 2022 : 28th international conference on types for proofs and programs ; 28th international conference on types for proofs and programs (types 2022) ; https://hal.science/hal-04245455 ; 28th international conference on types for proofs and programs (types 2022), jun 2022, nantes, france. pp.11:1-11:19, ⟨10.4230/lipics.types.2022.11⟩ 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
18 Treffer
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: Tests and Proofs ; https://hal.inria.fr/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014Online KonferenzZugriff:
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: 8th International Conference on Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524535 ; 8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct, 2010Online KonferenzZugriff:
-
In: 8th International Conference on Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524535 ; 8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct, 2010Online KonferenzZugriff:
-
In: 8th International Conference on Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524535 ; 8th International Conference on Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct, 2010Online KonferenzZugriff:
-
In: Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09 ; https://inria.hal.science/inria-00380048 ; Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09, Jul 2009, Sydney, Australia, 2009Online KonferenzZugriff:
-
In: Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09 ; https://inria.hal.science/inria-00380048 ; Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09, Jul 2009, Sydney, Australia, 2009Online KonferenzZugriff:
-
In: Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09 ; https://hal.inria.fr/inria-00380048 ; Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09, Jul 2009, Sydney, Australia, 2009Online KonferenzZugriff:
-
In: Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09 ; https://inria.hal.science/inria-00380048 ; Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09, Jul 2009, Sydney, Australia, 2009Online KonferenzZugriff:
-
In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007Online KonferenzZugriff:
-
In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007Online KonferenzZugriff:
-
In: B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings ;, 2007Online KonferenzZugriff:
-
In: Proceedings of IFM 2000, 2nd International Conference on Integrated Formal Methods ; https://hal.science/hal-00069802 ; 2000, pp.398-419, 2000Online KonferenzZugriff:
-
In: Proceedings of IFM 2000, 2nd International Conference on Integrated Formal Methods ; https://hal.archives-ouvertes.fr/hal-00069802 ; 2000, pp.398-419, 2000Online KonferenzZugriff: