TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 6.

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel :
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic
[Artikel], (2007)

Mantel, Heiko ; Schairer, Axel :
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning. LNCS, 2605. Springer Verlag , pp. 129-145.
[Buchkapitel], (2005)

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf :
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
In: mantel.ea:using:2001a . Freiburg
[Report], (2001)

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
B.~Steffen, ; W.~R.~Cleaveland, ; M.~Dwyer, ; P.~Pomberger, ; T.~Margaria, (eds.) :

VSE: Formal Methods Meet Industrial Needs.
In: Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer, 3 (1) pp. 66-77.
[Artikel], (2000)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel :
System Description: INKA 5.0 -- A Logic Voyager.
In: LNAI 1632 . Springer , Trento, Italy
[Konferenz- oder Workshop-Beitrag], (1999)

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
D.~Bert, ; C.~Choppy, ; P.~Mosses, (eds.) :

Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS , 1827 . Springer
[Konferenz- oder Workshop-Beitrag], (1999)

Diese Liste wurde am Tue Sep 19 07:07:00 2017 CEST generiert.