Tienari, Martti

birthDate

• 1935

deathDate

• 2013

name

• Tienari, Martti

Authored works

• A note on the definition of attribute grammar
• ATK-suunnittelukurssin harjoitustehtäviä
• Formal specification of computer communication protocols
• Fortsetzung einer quasikonformen Abbildung über einen Jordanbogen
• Helsingin yliopiston tietojenkäsittelyopin laitos 1967-1990
• Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
• Ohjelmointikielet ja kääntäjät : syntaksi
• Ohjelmointikielten teorian perusteista
• Über die Lösung von partiellen Differentialgleichungen erster Ordnung nach der Methode der sukzessiven Approximationen

Works contributed to

• Compositional failure-based semantic models for Basic LOTOS
• Computer science at the University of Helsinki
• Computer science at the University of Helsinki 1996
• Computer science at the University of Helsinki 1998
• Matemaattis-luonnontieteellisen osaston tutkimuspoliittinen ohjelma
• PROTAN - an estelle based environment for protocol verification : a status report
• PROTAN88 : a software tool for verifying communication protocols specified with an extended state transition model
• Tietotekniikan alkuvuodet Suomessa

Works about Tienari, Martti