Results 221 to 227 of about 150,251 (227)

Teaching TLA+ to Engineers at Microsoft

2023
openaire   +1 more source

Encoding TLA+ proof obligations safely for SMT

Science of Computer Programming

exaly  

Translating Event-B Models and Development Proofs to TLA+

Lecture Notes in Computer Science
Mamoun Filali Amine, Anne Grieu, Jean-Paul Bodeveix   +2 more
exaly  

Research on Design and Pavement Performance of TLA Modified Asphalt Mixture

Advanced Materials Research, 2011
exaly  

Summa contra gentiles – TLA.230.1.Ab33, in situ; TLA.230.1.Ab44, in situ; TLA.230.1.Ab47, in situ; TLA.1.Ab53, in situ

KÖIDE: Köited Ab33, Ab44, Ab47 ja Ab53 on õhukeste puukaantega, mille katteks on kasutatud pärgamentfragmente (köidetud samalaadselt, nagu teised seeriasse Ab kuuluvad raeprotokollid, mille kaanekatteks on kasutatud fragmente). Köited on kokku pandud algselt iseseisvalt kasutatud poognatest ja lehtedest, köidetud 17. saj. II poolel.
openaire   +1 more source

\tlA(;NETISM

2004
openaire   +1 more source

Specifying and Verifying PLC Systems with TLA+

2009
exaly