閱讀文章 - 看板 DFBSD_kernel

發信人Matthew Dillon <dillon@apollo.backplane.com>,

看板DFBSD_kernel

標題Re: finite state machine/automaton framework?

發信站(null) (Sat Sep 4 03:56:55 2004)

轉信站ptt!crater_reader.dragonflybsd.org!crater.dragonflybsd.org!127.0.0.1.M

:Are you talking about VHDLs here or more the formal method side (Maude, :ACL2, Z Notation, VDM)? : :-- :Jeroen Ruigrok van der Werven <asmodai(at)wxs.nl> / asmodai / kita no mono I was thinking VHDL and the like. -Matt Matthew Dillon <dillon@backplane.com>