Maritta Heisel

Available identifiers

zbMath Open heisel.marittaMaRDI QIDQ175408

List of research outcomes

Publication	Date of Publication	Type
Objects, Agents, and Features	2005-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q4817055	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4412476	2003-07-15	Paper
Specifying embedded systems with statecharts and Z: An agenda for cyclic software components	2001-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4023471	1993-01-23	Paper
Formalizing and implementing Gries' program development method in dynamic logic	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maritta Heisel